Amir Pnueli (auth.) : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Libre accès à la connaissance et à la culture.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres (20)
Les plus populaires
Liste
- Liste
- Tableau

1

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Yonit Kesten, Amir Pnueli, Li-on Raviv (auth.), Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)

Année:

1998

Langue:

english

Fichier:

PDF, 6.24 MB

0 / 0

english, 1998

2

Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 4.38 MB

0 / 0

english, 2002

3

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.)

Année:

2000

Langue:

english

Fichier:

PDF, 3.80 MB

0 / 0

english, 2000

4

Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Oded Maler (eds.)

Année:

1997

Langue:

english

Fichier:

DJVU, 3.80 MB

0 / 0

english, 1997

5

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.)

Année:

1992

Langue:

english

Fichier:

DJVU, 4.30 MB

0 / 0

english, 1992

6

Hybrid Systems II

Hybrid Systems II

Springer-Verlag Berlin Heidelberg

Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Année:

1995

Langue:

english

Fichier:

DJVU, 6.46 MB

0 / 0

english, 1995

7

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 6.95 MB

0 / 0

english, 2010

8

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 6.95 MB

0 / 0

english, 2010

9

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 8.44 MB

0 / 5.0

english, 2010

10

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.)

Année:

1992

Langue:

english

Fichier:

PDF, 7.06 MB

0 / 0

english, 1992

11

Hybrid Systems：Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003 Proceedings

Hybrid Systems：Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003 Proceedings

David Berlinski (auth.), Oded Maler, Amir Pnueli (eds.)

Année:

2003

Langue:

english

Fichier:

PDF, 11.78 MB

5.0 / 4.5

english, 2003

12

The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification

Springer-Verlag New York

Zohar Manna, Amir Pnueli (auth.)

Année:

1992

Langue:

english

Fichier:

PDF, 8.62 MB

0 / 0

english, 1992

13

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

David Berlinski (auth.), Oded Maler, Amir Pnueli (eds.)

Année:

2003

Langue:

english

Fichier:

PDF, 9.00 MB

0 / 0

english, 2003

14

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Springer-Verlag Berlin Heidelberg

Willem-Paul de Roever (auth.), Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)

Année:

1998

Langue:

english

Fichier:

PDF, 3.82 MB

0 / 0

english, 1998

15

Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Ittai Balaban, Amir Pnueli, Lenore D. Zuck (auth.), Farn Wang (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 7.79 MB

0 / 0

english, 2005

16

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Doron A. Peled, Yih-Kuen Tsay (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 7.68 MB

0 / 0

english, 2005

17

Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Gilles Kahn (eds.)

Année:

1979

Langue:

english

Fichier:

PDF, 8.00 MB

0 / 0

english, 1979

18

Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Gilles Kahn (eds.)

Année:

1979

Langue:

english

Fichier:

DJVU, 3.42 MB

0 / 0

english, 1979

19

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.)

Année:

2000

Langue:

english

Fichier:

PDF, 8.34 MB

0 / 0

english, 2000

20

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Springer-Verlag Berlin Heidelberg

Willem-Paul de Roever (auth.), Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)

Année:

1998

Langue:

english

Fichier:

PDF, 7.56 MB

0 / 0

english, 1998